dynamic logic - mrsekut-p